COMMENT ⊗   VALID 00020 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00003 00002	∂02-Jul-86  2036	JMC  	re: Lifschitz for editorial board 
C00004 00003	∂03-Jul-86  0910	JMC  
C00005 00004	∂03-Jul-86  1007	JMC  	status   
C00006 00005	∂03-Jul-86  1306	JMC  	re: Pucci visit    
C00007 00006	∂03-Jul-86  1351	JMC  	Freiling will come 
C00008 00007	∂03-Jul-86  2225	JMC  	re: Freiling will come  
C00009 00008	∂04-Jul-86  1222	JMC  	re: glorious fourth
C00010 00009	∂04-Jul-86  1516	JMC  
C00011 00010	∂07-Jul-86  1020	JMC  	workshop on AI foundations   
C00012 00011	∂07-Jul-86  1021	JMC  	workshop on AI foundations   
C00013 00012	∂07-Jul-86  1126	JMC  
C00014 00013	∂07-Jul-86  1128	JMC  
C00015 00014	∂07-Jul-86  1516	JMC  	re: workshop on AI foundations    
C00016 00015	∂07-Jul-86  1613	JMC  	re: [kirsh: AI Workshop]
C00017 00016	∂07-Jul-86  1615	JMC  	Okner question
C00018 00017	∂07-Jul-86  1956	JMC  
C00019 00018	∂08-Jul-86  1349	JMC  	re: message   
C00020 00019	∂08-Jul-86  1357	JMC  	re: Visit
C00021 00020	∂08-Jul-86  1738	JMC  	use of Portia by Computers and Mathematics Conference 
C00022 ENDMK
C⊗;
∂02-Jul-86  2036	JMC  	re: Lifschitz for editorial board 
To:   Bobrow.pa@XEROX.COM   
[In reply to message sent 30 Jun 86 18:31 PDT.]

Computer Science Dept.
Stanford, CA 94305
415 723-3334

∂03-Jul-86  0910	JMC  
To:   TAL    
I'll be in around 1pm.

∂03-Jul-86  1007	JMC  	status   
To:   RLG    
I have looked at it briefly.  It seems to me that you are well occupied.
I will be in this afternoon, and we can talk then.  VAL won't be back
till Monday or Tuesday.

∂03-Jul-86  1306	JMC  	re: Pucci visit    
To:   LES    
[In reply to message rcvd 03-Jul-86 12:52-PT.]

Actually I don't plan to go to the European AI meeting and will come
back Monday or Tuesday after the Logic Programming meeting.  I agree
about LaBrea.

∂03-Jul-86  1351	JMC  	Freiling will come 
To:   sf@SU-CSLI.ARPA
CC:   GLB@SU-AI.ARPA, VAL@SU-AI.ARPA    
I've been out of town, but I finally co-ordinated with Freiling.  He
will come for the logic lunch on Monday as proposed.  I can still
call him off if it has become very inconvenient.

∂03-Jul-86  2225	JMC  	re: Freiling will come  
To:   SF@SU-CSLI.ARPA  
[In reply to message sent Thu 3 Jul 86 22:17:46-PDT.]

No, I suppose we should use the title of his JSL paper.  Is the lunch still
in the philosophy lounge?

∂04-Jul-86  1222	JMC  	re: glorious fourth
To:   SJM    
[In reply to message rcvd 04-Jul-86 11:46-PT.]

yes, after Carolyn comes home.

∂04-Jul-86  1516	JMC  
To:   SJM    
I have made some progress tinkering with medici[s79,jmc].

∂07-Jul-86  1020	JMC  	workshop on AI foundations   
To:   nilsson@SU-SCORE.ARPA 
There is to be one approximately next June.  The format is a
speaker on each topic followed by a commentator.  Would you be
willing to be the speaker on the logic approach to AI?

∂07-Jul-86  1021	JMC  	workshop on AI foundations   
To:   feigenbaum@SUMEX-AIM.ARPA  
There is to be one approximately next June.  The format is a
speaker on each topic followed by a commentator.  I have been
advocating that there be a speaker about knowledge engineering
and expert systems, perhaps advocating the view that present
expert system technology is adequate for common sense if done
on a large enough scale.  Do you think that someone from the
applied expert systems area would have something to say in
a foundations conference?  Should it be you?  If not, can you
think of a suitable person?

∂07-Jul-86  1126	JMC  
To:   boyer@MCC.ARPA   
What are Stallman's co-ordinates?

∂07-Jul-86  1128	JMC  
To:   rms@AI.AI.MIT.EDU
How can I phone you?

∂07-Jul-86  1516	JMC  	re: workshop on AI foundations    
To:   FEIGENBAUM@SUMEX-AIM.ARPA  
[In reply to message sent Mon 7 Jul 86 14:08:24-PDT.]

Yes, it will still be relevant.

∂07-Jul-86  1613	JMC  	re: [kirsh: AI Workshop]
To:   KIRSH%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU   
[In reply to message sent 30 May 1986 15:34 EDT.]

I'll need till Thursday for a preliminary reading.  Nilsson is out
of town till Wednesday, and Feigenbaum asked for a week to think it
over, but I'll phone him Thursday or Friday anyway.  Saturday I go
to the UK till Tuesday July 22.

∂07-Jul-86  1615	JMC  	Okner question
To:   CLT    
Okner asked whether we had filed some form required for the Kehoe by the
end of July.  I said I didn't know.  Would you call him?

∂07-Jul-86  1956	JMC  
To:   treitel@SU-SUSHI.ARPA 
jmc - Another example of prejudice.

∂08-Jul-86  1349	JMC  	re: message   
To:   CONTRERAS@SU-SCORE.ARPA    
[In reply to message sent Mon 30 Jun 86 09:41:58-PDT.]

What kind of phone number is this?
I tried both 9 and 1 and neither worked.

∂08-Jul-86  1357	JMC  	re: Visit
To:   CL.SHANKAR@R20.UTEXAS.EDU  
[In reply to message sent Mon 7 Jul 86 15:09:29-CDT.]

According Jussi's and my schedules, Wednesday July 30 is the best
time, say 10am.  Is that possible with you?

∂08-Jul-86  1738	JMC  	use of Portia by Computers and Mathematics Conference 
To:   king@PORTIA 
p.pierre@lots-a
use of Portia for demos at Computers and Mathematics Conference
I arranged with Ralph for the use of Portia during that conference for the
demonstration of three systems, MAPLE, REDUCE and CAYLEY, all of which
involve computer algebra.  There will be (as I presently understand it)
three users.  I'm not involved technically, and whoever is will get in
touch with you by July 20.  For the present I'd only like to know whether
Portia is reachable from LOTS terminals in general.

∂08-Jul-86  1812	JMC  	use of Portia for demos at Computers and Mathematics Conference 
To:   p.pierre@LOTS-A  
I arranged with Ralph for the use of Portia during that conference for the
demonstration of three systems, MAPLE, REDUCE and CAYLEY, all of which
involve computer algebra.  There will be (as I presently understand it)
three users.  I'm not involved technically, and whoever is will get in
touch with you by July 20.  For the present I'd only like to know whether
Portia is reachable from LOTS terminals in general.

∂08-Jul-86  1846	JMC  	re: Visa photos    
To:   GOLUB@SU-SCORE.ARPA   
[In reply to message sent Tue 8 Jul 86 13:00:42-PDT.]

The photo place in Town and Country across from the supermarket
does it while you wait at reasonable cost.

∂09-Jul-86  1356	JMC  	re: reminder Feigenbaum, Nilson   
To:   KIRSH%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU   
[In reply to message sent 9 Jul 1986 16:04 EDT.]

Here is Nilsson's reply, so it should be toward the end of June.
You'd better communicate directly with Nilsson@SU-SCORE.

"About the workshop on AI foundations:  There will probably be some
things I need to do in June (like commencement, end-quarter wrap up,
etc.), so as soon as you know the dates pls let me know.  I'm writing
a section for John Hopcroft's report called "the logic approach to
AI," so I ought to be reasonably prepared.  -Nils"

I guess Feigenbaum is gone till next week when he promised to reply.

∂09-Jul-86  1449	JMC  	re: Calo call 
To:   LES
CC:   CLT, GRP   
[In reply to message from LES rcvd 09-Jul-86 14:22-PT.]

There is no problem about agreeing to present the results at Yorktown,
so push the proposal through Stanford.  I assume a contract means
overhead and that you discussed with Calo what this would do to
the spendable money.

∂09-Jul-86  1501	JMC  	re: visit
To:   alliant!jat@MIT-EDDIE.ARPA 
[In reply to message sent Wed, 9 Jul 86 16:58:36 edt.]

I'll be in England next week.

∂09-Jul-86  1532	JMC  	re: inventions
To:   NILSSON@SU-SCORE.ARPA 
[In reply to message sent Wed 9 Jul 86 10:52:18-PDT.]

You might mention time-sharing, since some of this work was done at Stanford.

∂09-Jul-86  1540	JMC  	re: Executive Council Meeting -- Sunday, Aug 10  
To:   AAAI-OFFICE@SUMEX-AIM.ARPA 
[In reply to message sent Wed 9 Jul 86 11:08:05-PDT.]

I believe I already said I'd come.

∂09-Jul-86  1544	JMC  	re: ~= Newark to Upenn:  parts of NJ actually OK! (from SAIL's BBOARD)    
To:   SU-BBOARDS@SU-AI.ARPA 
I enjoyed the 4 years I spent in Princeton, N.J., 2 as a graduate
student and 2 as faculty.  New Jersey, apart from its industrial and
rundown areas, is as nice as any other Eastern state.

∂09-Jul-86  1546	JMC  	re: meeting tomorrow?   
To:   GRP    
[In reply to message rcvd 09-Jul-86 15:32-PT.]

11 is planned, I think.

∂09-Jul-86  1749	JMC  	re: CSD/Faculty/WICS contract
To:   TAJNAI@SU-SCORE.ARPA  
[In reply to message sent Wed 9 Jul 86 16:36:09-PDT.]

Since this message came from you, I am hoping to get away with replying
that I choose to take my extra WICS income as consulting.

∂10-Jul-86  0757	JMC  	ebos meeting  
To:   GRP    
See if the meeting can be postponed till tomorrow.  Carolyn can't
make it today.  Either of us can make it any time tomorrow.

∂10-Jul-86  1035	JMC  
To:   SJM    
Sue Corneille phoned regarding the Logic Programming Conference.  She
said it is very URGENT.  1-871-2016.

∂10-Jul-86  1043	JMC  
To:   SJM    
Sue Corneille, Imperial College, 1 589-5111 x5011

∂10-Jul-86  1116	JMC  	Subject: re: TT #2 (from SAIL's BBOARD)
To:   SU-BBOARDS@SU-AI.ARPA 
This talk of 5 billion walkers is a typical enthusiast's exaggeration.
There are only 5 billion people altogether, and about 5 percent
of them are under a year and hence don't walk.

∂10-Jul-86  1335	JMC  	re: WICS 
To:   TAJNAI@SU-SCORE.ARPA  
[In reply to message sent Thu 10 Jul 86 13:29:51-PDT.]

This is a conference not a class.  I am the faculty sponsor but not
an important participant; I will be chairing just one session.
Alas, they'll be lucky if they get anywhere near 600.

∂10-Jul-86  1556	JMC  
To:   CLT    
June 1986 Stanford directory has 3-3334 for you.

∂11-Jul-86  1125	JMC  	visit    
To:   rms@PREP.AI.MIT.EDU   
Is there any chance you can come out July 25 and/or July 24 (Thurs and Fri)?
We can pay expenses plus a consulting fee.

∂11-Jul-86  1241	JMC  	Chudnovsky conference   
To:   aaai-office@SUMEX-AIM.ARPA 
David said that you would take $5K from NSF for support of the conferenc
if I recommended it.  I do.

∂11-Jul-86  1529	JMC  	VAX accounts for Japanese collaborators
To:   john@SU-CSLI.ARPA
CC:   sf@SU-CSLI.ARPA, CLT@SU-AI.ARPA 
This summer Sol and I and Carolyn have three Japanese visitors
collaborating on Theory of Computation.  One of them is Sato
who was housed at CSLI when he visited last year.  We would
like VAX accounts for them until September 1.  There isn't
money for it.  I'll be away for a week starting tomorrow, so
if you need to discuss it, MAIL to CLT@@SAIL or phone 3-0936.

∂11-Jul-86  1635	JMC  	re: CSD-CF Change  
To:   NILSSON@SU-SCORE.ARPA, LES@SU-AI.ARPA
[In reply to message sent Fri 11 Jul 86 15:00:21-PDT.]

In case it make a difference, you may want to remind Len that he
committed himself to me when he took the job of CSD-CF director
to give four months notice if and when he left.

∂11-Jul-86  1638	JMC  
To:   CLT    
There is no mention of Freiling in my entire jmc-lists file.

∂11-Jul-86  1641	JMC  	re: VAX accounts for Japanese collaborators 
To:   INGRID@SU-CSLI.ARPA   
[In reply to message sent Fri 11 Jul 86 16:31:35-PDT.]

If you can agree to the request or get someone else to do so, I will
be grateful.  I also will be away for a week starting tomorrow, so
if you want more information phone Carolyn Talcott 3-0936 alias CLT@SAIL.

∂11-Jul-86  1645	JMC   	re: VAX accounts for Japanese collaborators     
To:   CLT    
 ∂11-Jul-86  1645	INGRID@SU-CSLI.ARPA 	re: VAX accounts for Japanese collaborators 
Received: from SU-CSLI.ARPA by SU-AI.ARPA with TCP; 11 Jul 86  16:45:18 PDT
Date: Fri 11 Jul 86 16:44:01-PDT
From: Ingrid Deiwiks <INGRID@SU-CSLI.ARPA>
Subject: re: VAX accounts for Japanese collaborators 
To: JMC@SU-AI.ARPA
In-Reply-To: Message from "John McCarthy <JMC@SU-AI.ARPA>" of Fri 11 Jul 86 16:41:00-PDT

okay, will do.
Ingrid
-------

∂11-Jul-86  1724	JMC  	new DARPA proposal 
To:   LES, VAL, CLT    
Les says it would be appropriate to have a draft by August 1.
To understand the sort of thing that is involved, it would help
if copies of the last proposal could be found and distributed
among us.  It seems to me that the proposal should, if DARPA
will agree to a title this basic, have the title "Basic Research
in Artificial Intelligence and Mathematical Theory of Computation".
The mathematical theory of computation will involve Carolyn and
me and Shankar (or a simulation) + students; we name Ian Mason
and Gian-Luigi Bellin even though they may be gone.  The basic
research AI part should include Vladimir and me and possibly
Shoham + students.  Check the budget of the last proposal, because
we aren't going to propose less people than they supported
before.

I don't think we'll quite make August 1, but I don't think the
writing will take long once we start.  Les can do the budget
in parallel with the prose.

Items not mentioned above such as a share of Les and secretarial,
travel etc. should be in accordance with past practice.

∂12-Jul-86  1117	JMC  	(→20057 23-Jul-86) 
To:   "#___JMC.PLN[2,2]"    
I will be in London for the Logic Programming Conference and then
in Edinburgh and Dublin returning July 22 in the evening.

∂12-Jul-86  1548	JMC  	Winograd and Flores
To:   clancey@SUMEX-AIM.ARPA
I fear you have mistaken vagueness and incoherence for profundity.

∂12-Jul-86  1558	JMC  	jmc 
To:   CLT    
Carolyn, do you know where John is?  We have arrived at your house
to pick him up, but...
					---Susie